(declare-const v0 Bool)
(declare-const v1 Bool)
(declare-const v2 Bool)
(declare-const v3 Bool)
(push)
(declare-const v4 Bool)
(assert v1)
(assert (xor v1 (xor v1 v2 v1) v2 v2 v0 (xor v1 v2 v1) v4 v3 v0))
(pop)
(assert v2)
(assert (xor v2 v1 (xor v1 v2 v1) v0 (xor v1 v2 v1) v3 v3 v1))
(assert v0)
(check-sat)
